Raleigh: Improve notebook tab theming

The theme was not kept up-to-date when notebook tabs were
recently refactored. Fix it to show some indication of the
active tab.

diff --git a/gtk/gtk-default.css b/gtk/gtk-default.css
index ad8b4ee4e4af6a0dae7a97252f5539678e28c723..e13c4f17a2c1c9cbeca8df2f7b8369910c12b979 100644 (file)
--- a/gtk/gtk-default.css
+++ b/gtk/gtk-default.css
@@ -273,6 +273,17 @@ GtkRadioButton:selected {
   border-width: 1px;
 }
 
+.notebook tab {
+  border-style: solid;
+  border-width: 1px;
+  padding: 0;
+}
+
+.notebook .active-page {
+  color: @selected_fg_color;
+  background-color: darker (@bg_color);
+}
+
 .frame {
   border-style: inset;
   border-width: 1px;